noinst_LTLIBRARIES = libsmtsolvers.la

INCLUDES=$(config_includedirs)

libsmtsolvers_la_SOURCES = CoreSMTSolver.C CoreSMTSolver.h \
			   SimpSMTSolver.C SimpSMTSolver.h \
			   Proof.C Proof.h \
			   Debug.C \
			   Theory.C TheoryCombination.C \
			   SMTConfig.C SMTConfig.h \
			   SMTSolver.h
